Abstractions for Validation in Action

ions for Validation in Action Guido de Caso, Victor Braberman, Diego Garbervetsky, and Sebastian Uchitel 1 Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina {gdecaso,vbraber,diegog,suchitel}@dc.uba.ar 2 Department of Computing, Imperial College, London, UK [email protected] Abstract. Many software engineering artefacts, such as source code or specifications, define a set of operations and impose restrictions to the ordering on which they have to be invoked. Enabledness Preserving Abstractions (EPAs) are concise representations of the behaviour space for such artefacts. In this paper, we exemplify how EPAs might be used for validation of software engineering artefacts by showing the use of EPAs to support some programming tasks on a simple C# class. Many software engineering artefacts, such as source code or specifications, define a set of operations and impose restrictions to the ordering on which they have to be invoked. Enabledness Preserving Abstractions (EPAs) are concise representations of the behaviour space for such artefacts. In this paper, we exemplify how EPAs might be used for validation of software engineering artefacts by showing the use of EPAs to support some programming tasks on a simple C# class.